|
In mathematics, more precisely in measure theory, Lebesgue's decomposition theorem states that for every two σ-finite signed measures and on a measurable space there exist two σ-finite signed measures and such that: * * (that is, is absolutely continuous with respect to ) * (that is, and are singular). These two measures are uniquely determined by and . ==Refinement== Lebesgue's decomposition theorem can be refined in a number of ways. First, the decomposition of the singular part of a regular Borel measure on the real line can be refined: : where * ''ν''cont is the absolutely continuous part * ''ν''sing is the singular continuous part * ''ν''pp is the pure point part (a discrete measure). Second, absolutely continuous measures are classified by the Radon–Nikodym theorem, and discrete measures are easily understood. Hence (singular continuous measures aside), Lebesgue decomposition gives a very explicit description of measures. The Cantor measure (the probability measure on the real line whose cumulative distribution function is the Cantor function) is an example of a singular continuous measure. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Lebesgue's decomposition theorem」の詳細全文を読む スポンサード リンク
|